1. Category theory and computer science :
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
رده :
QA76
.
9
.
M35
C38
1997
2. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
پدیدآورنده : Eugenio Moggi, Giuseppe Rosolini )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
1290
